Compiling Mercury to High-Level C Code
نویسندگان
چکیده
منابع مشابه
Compiling Natural Semantics - ReadingSample
Natural semantics has become a popular tool among programming language researchers. It is used for specifying many aspects of programming languages, including type systems, dynamic semantics, translations between representations, and static analyses. The formalism has so far largely been limited to theoretical applications, due to the absence of practical tools for its implementation. Those who...
متن کاملبررسی دیدگاه کارورزان و کارآموزان دانشگاه علوم پزشکی تهران در ارتباط با ویژگیهای پوشش و ظاهر حرفهای
The appearance and the way a doctor is dressed has a very influential effect on the physician-patient relationship. Interns and trainees of medicine must follow the principles of professional behavior as they play a crucial role during their education. The aim of this research is to analyze the interns and trainee's point of view towards dress code.In this study, after preparing a questionnaire...
متن کاملCompiling data-parallel languages for distributed memory multi-processors
This paper introduces a succinct intermediate representation for compiling high-level, data-parallel languages. It is shown how inferences applied to this representation can infer the necessary information to compile it into e cient code. Further inference procedures are being investigated in order to automatically distribute and align data objects on distributed memory multi-processors. The in...
متن کاملDesign and Implementation of the GNU Prolog System
In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous experience of compiling Prolog to C in the wamcc system and of compiling finite domain constraints in the clp(FD) system. The compilation scheme has however been redesigned in order to overcome the drawbacks of compiling to C. In particular, GNU-Prolog is based on a low-level ...
متن کاملMaking Distributed Computation Trustworthy by Construction
Trustworthy computing systems must provide data confidentiality and data integrity, and must be available. This paper shows that these security properties can be provided by construction, by compiling high-level, security-typed source code into explicitly distributed, security-typed target code. This code transformation provably preserves the confidentiality, integrity, and availability propert...
متن کامل